201. Program logics for certified compilers /
پدیدآورنده : Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
202. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
203. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
204. Relationale Datenbanken Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
پدیدآورنده : Thomas Studer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Software engineering.
رده :
QA76
.
9
.
D3
T466
2016
205. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
206. Scheduling in Parallel Computing Systems
پدیدآورنده : by Shaharuddin Salleh, Albert Y. Zomaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information theory.,Logic, Symbolic and mathematical.
207. Simply logical: intelligent reasoning by example
پدیدآورنده : Flach, Peter A.
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع : Data Processing ، Reasoning,، Logic, Symbolic And Mathematical,، Artifical Intelligence,، Prolag ) Computer Program Language(
رده :
Q
335
.
F58
1994
208. Simply logical : intelligent reasoning by example
پدیدآورنده : Peter Flach
موضوع : Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
209. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
210. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
211. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
212. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
213. Specifying systems :
پدیدآورنده : Leslie Lamport.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Specifications.,Logic, Symbolic and mathematical.,System design.
214. Structural Complexity I
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.
215. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
216. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
پدیدآورنده : Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261
217. Substructural logics
پدیدآورنده : edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
218. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
219. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
220. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
